Science Advances - PDFSEARCH.IO - Document Search Engine

Science Advances
Results: 920

#	Item
541	An extended abstract of this paper appears in Victor Shoup, editor, Advances in Cryptology – CRYPTO 2005, Volume 3621 of Lecture Notes in Computer Science, pages 205–222, Santa Barbara, California, August 14 – 18, Add to Reading List Source URL: www.ippari.unict.it Language: English - Date: 2009-01-08 04:52:18 ID-based encryption Advantage Paillier cryptosystem Boneh/Franklin scheme Random oracle Cryptography Public-key cryptography Ciphertext indistinguishability
542	Advances in Programming Languages APL12: Language Augmentations and Correctness David Aspinall (some slides by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-11-09 11:24:01 Procedural programming languages Cross-platform software Theoretical computer science Logic in computer science Type theory Type system Programming language Formal verification C Computing Software engineering Computer programming
543	Consent to Publish Series Title: Lecture Notes in Electrical Engineering Title of Book/Volume/Conference: Advances in Computer Science and its Applications: CSA 2013 Editor(s) name(s): Hwa Young Jeong, Mohammad S. Obaida Add to Reading List Source URL: www.ftrai.org Language: English - Date: 2013-08-16 02:17:31 Law Civil law Authorship and ownership in copyright law in Canada Copyright law of Jordan Information Copyright law of the United States Copyright
544	Advances in Phonotactic Language Recognition Ondˇrej Glembek, Pavel Matˇejka, Luk´asˇ Burget, Tom´asˇ Mikolov Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic Abstract This pap Add to Reading List Source URL: www.fit.vutbr.cz Language: English - Date: 2008-07-13 01:29:52 Statistical natural language processing Probability and statistics Markov models Computer accessibility Speech recognition Language model Phonotactics Artificial neural network Principal component analysis Statistics Computational linguistics Science
545	Hindawi Publishing Corporation Advances in OptoElectronics Volume 2012, Article ID[removed], 12 pages doi:[removed][removed]Research Article Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2014-05-08 04:11:44 Nanomaterials Materials science Optics Antenna Split-ring resonator Metamaterial antenna Photonic metamaterial Dipole antenna Monopole antenna Physics Metamaterials Electromagnetism
546	Sematech Advances EUV Technology by Reducing Defects in Mask Blanks Add to Reading List Source URL: phys.org Language: English - Date: 2015-03-04 02:48:20 Photomask Semiconductor fabrication plant Extreme ultraviolet Nanotechnology Ultraviolet University at Albany SUNY Technology New York Electromagnetism Extreme ultraviolet lithography College of Nanoscale Science and Engineering SEMATECH
547	Hindawi Publishing Corporation Advances in Materials Science and Engineering Volume 2013, Article ID[removed], 6 pages http://dx.doi.org[removed][removed]Research Article Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2014-08-28 16:20:47 Mechanical engineering Buckling Elasticity Materials science Carbon nanotube Hindawi Publishing Corporation Calculus of variations Timoshenko beam theory Structural analysis Physics Mechanics
548	Hindawi Publishing Corporation Advances in Materials Science and Engineering Volume 2012, Article ID[removed], 7 pages doi:[removed][removed]Research Article Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2014-08-28 17:06:47 Physics Carbon nanofiber Laser ablation Chemistry Carbon nanotubes Nanomaterials Materials science
549	Hindawi Publishing Corporation Advances in Materials Science and Engineering Volume 2013, Article ID[removed], 7 pages http://dx.doi.org[removed][removed]Research Article Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2014-08-28 16:27:31 Noble metals Transition metals Reducing agents Sodium compounds Hydride Hydrogen storage Catalysis Ruthenium Borohydride Chemistry Matter Chemical elements
550	Advances in Programming Languages APL13: Assertions and Hoare Logic David Aspinall (most slides by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-11-08 17:16:25 Program logic Logic in computer science Propositional calculus Model theory Hoare logic Philosophy of language First-order logic Assertion Axiom Logic Mathematics Mathematical logic

UPDATE